package naruto.datastructures.instruction;

/**
 *
 * @author nacuong
 */
public abstract class IfCompleteInstruction<T extends gov.nasa.jpf.jvm.bytecode.Instruction> extends Instruction<T>{
  public IfCompleteInstruction(gov.nasa.jpf.jvm.bytecode.Instruction instruction) {
    super(instruction);
  }

  public IfCompleteInstruction(gov.nasa.jpf.jvm.bytecode.Instruction instruction, int recursiveCounter) {
    super(instruction, recursiveCounter);
  }
}
